#include "samd51j18a.h"
#include "timer.h"
#include "tmk_core/protocol/arm_atsam/clks.h"

void set_time(uint64_t tset) { ms_clk = tset; }

void timer_init(void) { timer_clear(); }

uint16_t timer_read(void) { return (uint16_t)ms_clk; }

uint32_t timer_read32(void) { return (uint32_t)ms_clk; }

uint64_t timer_read64(void) { return ms_clk; }

uint16_t timer_elapsed(uint16_t tlast) { return TIMER_DIFF_16(timer_read(), tlast); }

uint32_t timer_elapsed32(uint32_t tlast) { return TIMER_DIFF_32(timer_read32(), tlast); }

void timer_clear(void) { set_time(0); }
